Dichotomies for classes of homomorphism problems involving unary functions
نویسندگان
چکیده
We study non-uniform constraint satisfaction problems where the underlying signature contains constant and function symbols as well as relation symbols. Amongst our results are the following. We establish a dichotomy result for the class of non-uniform constraint satisfaction problems over the signature consisting of one unary function symbol by showing that every such problem is either complete for L, via very restricted logical reductions, or trivial (depending upon whether the template function has a fixed point or not). We show that the class of non-uniform constraint satisfaction problems whose templates are structures over the signature λ2 consisting of two unary function symbols reflects the full computational significance of the class of non-uniform constraint satisfaction problems over relational structures. We prove a dichotomy result for the class of non-uniform constraint satisfaction problems where the template is a λ2-structure with the property that e-mail: [email protected] e-mail: [email protected]. Much of this work was undertaken whilst at the University of Leicester. e-mail: [email protected]. Much of this work was undertaken whilst at the University of Leicester.
منابع مشابه
Computational Complexity of Holant Problems
We propose and explore a novel alternative framework to study the complexity of counting problems, called Holant problems. Compared to counting constraint satisfaction problems (#CSP), it is a refinement with a more explicit role for the constraint functions. Both graph homomorphism and #CSP can be viewed as special cases of Holant problems. We prove complexity dichotomy theorems in this framew...
متن کاملComplexity Dichotomies of Counting Problems
In order to study the complexity of counting problems, several interesting frameworks have been proposed, such as Constraint Satisfaction Problems (#CSP) and Graph Homomorphisms. Recently, we proposed and explored a novel alternative framework, called Holant Problems. It is a refinement with a more explicit role for constraint functions. Both graph homomorphism and #CSP can be viewed as special...
متن کاملFekete-Szeg"o problems for analytic functions in the space of logistic sigmoid functions based on quasi-subordination
In this paper, we define new subclasses ${S}^{*}_{q}(alpha,Phi),$ ${M}_{q}(alpha,Phi)$ and ${L}_{q}(alpha,Phi)$ of analytic functions in the space of logistic sigmoid functions based on quasi--subordination and determine the initial coefficient estimates $|a_2|$ and $|a_3|$ and also determine the relevant connection to the classical Fekete--Szeg"o inequalities. Further, we discuss the improved ...
متن کاملCounting Homomorphisms to Trees Modulo a Prime
Many important graph theoretic notions can be encoded as counting graph homomorphism problems, such as partition functions in statistical physics, in particular independent sets and colourings. In this article we study the complexity of #pHomsToH, the problem of counting graph homomorphisms from an input graph to a graph H modulo a prime number p. Dyer and Greenhill proved a dichotomy stating t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 314 شماره
صفحات -
تاریخ انتشار 2004